Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model 首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。
The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language 界限主体的确立,既解决了主体的“体”带来的一系列问题,同时又为主体在逻辑语言的层面上找到了一种合理的存在形式。
In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols 在本文中,作者主要介绍了用于分析密码协议的三种逻辑语言,研究了它们的优缺点,然后结合其优点,提出了一种新的用于分析电子商务协议的形式化逻辑语言。
( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language ( 2 )为验证算法的有效性,该文设计实现了一个测试平台? ?基于sqlserver的规则处理器,其主要功能为自动把一阶逻辑规则转换为含有sql语句的过程代码,这使得sqlserver数据库管理系统有了用逻辑数据语言表示递归查询的能力。
Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language 接着指出数学语言是进行数学交流活动的重要工具,参考前人的成果,对数学语言重新进行分类,可分为:文字语言,符号语言,图形语言,图表语言,逻辑语言。
logic: n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理 ...language: n. 1.语言;(某民族,某国的)国语;语调,措词。 2 ...logic and language: 逻辑和语言; 逻辑与语言logic of language: 语言逻辑ldl logic description language: 逻辑描述语言logic in the chinese language: 汉语与逻辑logic of natural language: 自然语言逻辑logic programming language: 逻辑编程语言; 逻辑程序设计语言logic-generating language: 逻辑发生语言lql logic query language: 逻辑查询语言predicate logic language: 谓词逻辑语言temporal logic language: 时序逻辑语言tense logic language: 时态逻辑语言tense-logic language: 时态逻辑语言limited logic natural language system: 有限逻辑自然语言系统local logic circuit analyzer language: 逻辑电路分析器语言-logic: -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”: biological, philological. and logic: “与”逻辑logic: n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理性。 3. 威力,压力,强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑,恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。 logic-and: 逻辑“与”or logic: 或逻辑a language: 译者的母语或者常用的语言language: n. 1.语言;(某民族,某国的)国语;语调,措词。 2.(谈话者或作者所使用的)言语,语风,文风,文体。 3.专门用语,术语。 4.(动物的)叫声;(动作,手势等所表示的)表意语。 5.【自动化】机器代码 ( = machine language )。 6.〔俚语〕粗话,骂人的话;坏话。 7.态度,立场。 8.〔古语〕民族;某国国民。 a common language 共同的语言。 a dead language 死语言。 a foreign language 外国语。 a living language 活语言。 long language (与符号语言相对的)通用语言。 oral [spoken] language 口语。 the Chinese language 汉语。 written language 书面语。 high language 夸张的言词。 in his own language 按他自己的说法。 with a great command [an easy flow] of language 口若悬河。 legal language 法律用语。 medical language 医学用语。 parliamentary language 议会辞令;有礼貌的话。 the language of diplomacy 外交辞令。 the language of the science 科学用语。 finger [gesture, sign] language 手势语。 the language of flowers 花语〔如以 lily 象征纯洁等〕。 the language of the eyes 目语,眉目传情。 billing gate language = language of the fish-market 下流的粗话。 in strong language 用激烈的下流话。 use (bad [foul, warm]) language to sb. 谩骂某人。 in fourteen languages 〔美俚〕非常。 speak the same language 说共同的语言,信仰和观点相同。 language arts (中小学的)语言艺术学科。 active logic: 有源逻辑actuating logic: 执行逻辑